"Bernhard Beckert" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Verification of Object-Oriented Software

Bernhard Beckert, Claude Marche

Категория: Компьютеры, Программирование

2.58 Mb

#2

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)

Bernhard Beckert, Reiner Hahnle

Категория: Компьютеры

2.96 Mb

#3

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

5.36 Mb

#4

Transformationen des Kapitalismus

Beckert, Jens; Ebbinghaus, Bernhard; Hassel, Anke; Manow, Philip

3.44 Mb

#5

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005

Bernhard Beckert

Категория: Cs_Computer science, CsLn_Lecture notes

3.30 Mb

#6

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Bernhard Beckert, Reiner Hähnle

1.84 Mb